如何在工程竣工结算过程中控制工程造价

随着我国经济建设的发展,建筑企业的规模越来越大,工程结算又是决定工程造价最关键的一步,如何在这最关键的一步控制好工程造价。工程造价直接关系着建设单位和施工单位效益的问题,这就需要双方共同努力,所以文章就作者在这几年工作中总结的几点经验进行论述。     

对应点集移动相对性建模于脱机签名鉴定研究

提出并论证了欧氏空间中签名的对应点集具有移动相对性,基于该原理构建了一种新的脱机签名鉴定模型,并研究了签名间对应点集获取的方法。在鉴定方案中,待鉴定的脱机签名图像和参考样本的签名图像可以看作欧氏空间内两个不同坐标系中的图像,两者间能够建立相对应的点集合,而欧氏空间平面图像其对应点集具有确定的约束关系,利用该约束关系建立模型可以反映出对应点集移动相对性的大小,因此可以利用该值的差异进行签名真伪鉴定。该方法对于真签名的数量要求较低,并且不需要伪签名来进行训练,适用于脱机签名鉴定中存在的极少样本集情况。实验采用中、英文两种签名数据库验证了该方法的有效性。     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

论Internet对生产的效用

从新经济学的生产力要素理论出发，论述了Internet的迅猛发展对信息资源有量，劳动力素质和资本资源等生产力的基本构建要素以及产业结构的巨大影响和作用，并探讨了Internet在中国进一步发展和应用的相应措施与.对策。     

一种加法交换律和结合律的验证方法

依据"数位对齐、逢十进一"的运算法则,结合十进制加法表,给出了验证加法交换律与结合律的一种方法。     

分析仪器合格性的验证与性能校验

对分析仪器的合格性验证与性能校验的过程、方法进行综述 ,同时对购买仪器提出参考意见。     

基于双向核实机制的移动通信终端防伪验证

针对现有手机防伪方法存在的不足,提出一种新的移动通信手机终端防伪验证方法,并设计实现了基于短信平台和手机数据库的防伪验证系统。系统通过手机预置短信和开机超时自动发送的方式，实现对已售手机信息的主动采集,并利用基于数据加密保护和数据库查询校验的信息双向核实机制进行防伪确认。与传统方法相比，系统大大提高了手机防伪的可靠性,便于对销售信息进行及时、准确地采集和分析。     

白灵菇分类学特性诠释

白灵菇这一食有菌产业中的商业名称所涉及的类群并非分类学意义的一个分类群。经考证发现，它们包括1个种和2个变种，即杏鲍菇Pleurotus eryngii(DC,:Fr.)Qu′el，阿魏侧耳P.eryngii var.ferulae Lanzi,白阿魏蘑P.erngii var.nerbrodensis Inzenga;同时，分别整理了上述种和变种的别名或商业名，识别要点，生境，分布和用途，并列出了它们的分类检索表，为生产和学术交流提供了参考依据。     

基于高维空间映射失配补偿方法的说话人确认

针对电话手机语音的文本无关说话人确认中,训练集语音和测试集语音来自不同信道所产生失配而导致系统性能下降的问题,采用一种基于高维空间映射的方法对系统进行补偿.在分析了已有的说话人确认系统的基础上,提出了一种基于特征参数映射支持向量机模型(PSVM)的说话人确认系统.首先用大量已知信道类型的语音训练出信道空间及映射矩阵,然后训练语音和测试语音都通过映射,消除因信道不同而导致的失配影响.在NIST数据库上的实验结果表明,这种方法弥补了训练语音和测试语音的失配,说话人确认系统的性能有了明显的提高.     

科学计算程序的验证和确认

针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(VV)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认的方法,为科学计算程序验证与确认提供一种置信度评估方法.